doc: Disable extension incompatible with Sphinx 3
authorBen Hutchings <benh@debian.org>
Sat, 22 Aug 2020 02:13:44 +0000 (03:13 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Fri, 27 Nov 2020 21:02:14 +0000 (21:02 +0000)
commita52d0a82327d62e6ddd78fcc3e3b8e97574690c6
tree401fa0d25befc677bcd419dfcc0870ed7ad370da
parent48fd475a364920376714b0ecfebb0a141dac666b
doc: Disable extension incompatible with Sphinx 3

The cdomain extension needs major changes to work with Sphinx 3.
For now, disable it.

Gbp-Pq: Topic debian
Gbp-Pq: Name doc-disable-extension-incompatible-with-sphinx-3.patch
Documentation/conf.py